Leaderless Byzantine Paxos Leslie Lamport Microsoft Research Appeared in Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag–142

Source URL: research.microsoft.com

• Fault-tolerant computer systems
• Distributed algorithms
• Paxos
• Consensus
• Byzantine fault tolerance
• Leslie Lamport
• Distributed computing
• Paxi
• Leader election
• Michael J. Fischer
• Virtual synchrony

Barcodes with iOS: Introducing Core Image By Oliver Drobnik The Core Graphics framework is written in pure C, meaning that it’s impossible to use CGImage instances directly with UIKit. Apple created UIImage as an Objec

Source URL: freecontent.manning.com

• Computer graphics
• Computing
• Graphics libraries
• Software
• Graphics software
• Virtual reality
• Core Image
• Quartz
• Shader
• Graphics processing unit
• IOS
• Raster graphics

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

The Raft Consensus Algorithm Diego Ongaro and John Ousterhout November 2015 

Source URL: raft.github.io

• Fault-tolerant computer systems
• Computing
• Concurrent computing
• Distributed computing
• Paxos
• Replication
• Consensus
• Raft
• Leslie Lamport
• Virtual synchrony
• State machine replication

Microsoft Word - 2-Damer-Bruce-Phd-thesis-appendices-FINAL.doc

Source URL: www.damer.com

• Software
• Application software
• Scientific modeling
• Computational science
• Virtual reality
• Alternatives to animal testing
• Computer simulation
• Simulation
• Molecular dynamics
• Scientific modelling
• ROOT

Virtual Story Generation: from TALE-SPIN to the Virtual Storyteller Laura Langohr Seminar on Computational Creativity Department of Computer Science University of Helsinki

Source URL: wwwhome.cs.utwente.nl

Bear: An Open-Source Virtual Secure Coprocessor based on TCPA Computer Science Technical Report TR2003-471 Rich MacDonald, Sean Smith, John Marchesini, Omen Wild Department of Computer Science/Dartmouth PKI Lab∗ Dartmo

Source URL: www.ists.dartmouth.edu

Two Worlds Apart: Bridging the Gap Between Physical and Virtual Media for Distributed Design Collaboration Katherine M. Everitt, Scott R. Klemmer, Robert Lee, James A. Landay Group for User Interface Research, Computer S

Source URL: hci.stanford.edu

WiBACK Introducing Fraunhofer’s Wireless Backhaul Technology An overview of the concepts and the current status (as of Marchregarding our ongoing R&D efforts

Source URL: www.wiback.org

• Computing
• Network architecture
• Wireless networking
• Computer architecture
• Virtual LAN
• Computer network
• Backhaul
• Network switch
• Multiprotocol Label Switching
• Wireless ad hoc network
• Ethernet
• Wireless mesh network

INDUSTRIAL INTERNET IN ACTION CASE STUDY Global Manufacturer uses remote access cybersecurity to maintain safety at its manufacturing production zones

Source URL: www.iiconsortium.org

• Computing
• Technology
• Computer network security
• Security
• Industrial Internet Consortium
• Cisco Systems
• Computer security
• Virtual private network
• Internet of things